翻訳と辞書 Words near each other ・ inductive relation ・ industrial programming, inc. ・ industrial robot language ・ industry standard architecture ・ inetd ・ inews ・ infant mortality ・ infeasible path ・ inference ・ inference engine ・ inference rule ・ infimum ・ infinite ・ infinite impulse response ・ infinite loop ・ infinite monkey theorem ・ infinite set ・ infinity ・ infix notation ・ infix syntax Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク inference rule ： FOLDOC inference rule A procedure which combines known facts to produce ("infer") new facts. For example, given that 1. Socrates is a man and that 2. all men are motal, we can infer that Socrates is mortal. This uses the rule known as "modus ponens" which can be written in Boolean algebra as (A & A => B) => B (if proposition A is true, and A implies B, then B is true). Or given that, 1. Either Denis is programming or Denis is sad and 2. Denis is not sad, we can infer that Denis is programming. This rule can be written ((A OR B) & not B) => A (If either A is true or B is true (or both), and B is false, then A must be true). (1994-10-31) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.